- использующее вхождение
- використо́вувальне вхо́дження
Русско-украинский политехнический словарь. 2013.
использующее вхождение
Смотреть что такое "использующее вхождение" в других словарях:
Карликовые государства и Европейский союз — Карликовые государства Европы[1] В Европе существует несколько … Википедия
Удмуртская Автономная Советская Социалистическая Республика — (Удмуртской Автономной Советской Социалистической Республика) Удмуртия. В составе РСФСР. Образована 4 ноября 1920 как Вотская (с 1932 Удмуртская) автономная область; 28 декабря 1934 преобразована в автономную республику. Расположена в… … Большая советская энциклопедия
Российская Советская Федеративная Социалистическая Республика — РСФСР. I. Общие сведения РСФСР образована 25 октября (7 ноября) 1917. Граничит на С. З. с Норвегией и Финляндией, на З. с Польшей, на Ю. В. с Китаем, МНР и КНДР, а также с союзными республиками, входящими в состав СССР: на З. с… … Большая советская энциклопедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
АНТРОПОЛОГИЯ (ФИЛОСОФСКАЯ) — философия человека, выделяющая в качестве своего предмета сферу собственно человеческого бытия, собственной природы человека, человеческой индивидуальности, пытающаяся через антропологический принцип объяснить и самого человека и окружающий мир,… … Современный философский словарь
